منابع مشابه
Monadic Bounded Algebras
We introduce the equational notion of a monadic bounded algebra (MBA), intended to capture algebraic properties of bounded quantification. The variety of all MBA’s is shown to be generated by certain algebras of two-valued propositional functions that correspond to models of monadic free logic with an existence predicate. Every MBA is a subdirect product of such functional algebras, a fact that...
متن کاملFunctional Monadic Bounded Algebras
The variety MBA of monadic bounded algebras consists of Boolean algebras with a distinguished element E, thought of as an existence predicate, and an operator ∃ reflecting the properties of the existential quantifier in free logic. This variety is generated by a certain class FMBA of algebras isomorphic to ones whose elements are propositional functions. We show that FMBA is characterised by th...
متن کاملMonadic dynamic algebras
The main purpose of this work is to introduce the class of the monadic dynamic algebras (dynamic algebras with one quantifier). Similarly to a theorem of Kozen we establish that every separable monadic dynamic algebra is isomorphic to a monadic (possibly non-standard) Kripke structure. We also classify the simple (monadic) dynamic algebras. Moreover, in the dynamic duality theory, we analyze th...
متن کاملFinite Monadic Algebras
Introduction. The elementary structure theory for finite Boolean algebras is, for our purposes, summarized in the following theorem, (see [1, p. 163], or [2, p. 344]). (*) If B is a finite Boolean algebra, then it is completely characterized by the number of its elements, a number which must be of the form 2", where n is the number of atoms of B. In this case B is faithfully represented as the ...
متن کاملMonadic GMV-algebras
Monadic MV –algebras are an algebraic model of the predicate calculus of the Lukasiewicz infinite valued logic in which only a single individual variable occurs. GMV -algebras are a non-commutative generalization of MV -algebras and are an algebraic counterpart of the non-commutative Lukasiewicz infinite valued logic. We introduce monadic GMV -algebras and describe their connections to certain ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Studia Logica
سال: 2010
ISSN: 0039-3215,1572-8730
DOI: 10.1007/s11225-010-9269-z